Project-Team:COMETE


	PDF	e-Pub

Home | Next next

Section: Dissemination

Note: In this section we include only the activities of the permanent internal members of Comète.

Catuscia Palamidessi is/has been:

Member of the Editorial Board of Mathematical Structures in Computer Science , published by the Cambridge University Press.
Member of the Editorial Board of the Electronic Notes of Theoretical Computer Science , Elsevier Science.
Co-editor (with Franck van Breughel, Elham Kashefi and Jan Rutten) of a festschrift dedicated to Prakash Panagaden. Special issue of Lecture Notes in Computer Science .
Co-editor (with Geoffrey Smith) of the special issue of Mathematical Structures in Computer Science dedicated to Quantitative Information Flow.
Co-editor (with Mark Ryan) of the proceedings of TGC 2012, Trustworthy Global Computing. [27]

Frank D. Valencia has been:

Co-editor of the special issue of Mathematical Structures in Computer Science dedicated to the 18th International Workshop on Expressiveness in Concurrency.
Co-editor of the special issue of Mathematical Structures in Computer Science dedicated to the 17th International Workshop on Expressiveness in Concurrency.

Konstantinos Chatzikokolakis and Catuscia Palamidessi have been:

Co-editors (with Sebastian Mödersheim and Jun Pang) of the special issue of the Journal of Computer Security dedicated to selected papers of TOSCA 2011 and SecCo 2011 .

Catuscia Palamidessi is member of:

The Council of EATCS , the European Association for Theoretical Computer Science. Since 2005.
The Steering Committee of ETAPS , the European Joint Conferences on Theory and Practice of Software. Since 2006.
The IFIP Technical Committee 1 – Foundations of Computer Science. Since 2007.
The IFIP Working Group 2.2 – Formal Description of Programming Concepts. Since 2001.
The IFIP Working Group 1.7 – Theoretical Foundations of Security Analysis and Design. Since 2010.

Frank D. Valencia member of:

The steering committee of the International Workshop in Concurrency EXPRESS. Since 2010.

Catuscia Palamidessi has given invited talks at the following conferences and workshops:

Catuscia Palamidessi is serving as PC co-chair (together with Erika Ábrahám) of FORTE 2014 : the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems. Berlin, Germany, 3-6 June 2014. Co-located with DisCoTec 2014 .

Catuscia Palamidessi is/has been a member of the program committees of the following conferences:

QEST 2014 . The 11th International Conference on Quantitative Evaluation of Systems. Florence, Italy, 8-12 September 2014.
POST 2014 . The 3rd Conference on Principles of Security and Trust. Grenoble, 5-13 April 2014.
TGC 2013 . The 8th International Symposium on Trustworthy Global Computing. Buenos Aires, Argentina, 30-31 August 2013.
ICALP 2013 Track B. The 40th International Colloquium on Automata, Languages and Programming. Riga, Latvia, 8-12 July 2013.
CSF 2013 . The 26th IEEE Computer Security Foundations Symposium. Tulane University, New Orleans, Louisiana, USA, 26-28 June 2013.
LICS 2013 . The Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science. Tulane University, New Orleans, Louisiana, USA, 25-28 June 2013.
FOSSACS 2013 . The 16th Int.l Conf. on Foundations of Software Science and Computation Structures. (Part of ETAPS 2013.) Rome, Italy, March 2013.
SOFSEM 2013 . 39th International Conference on Current Trends in Theory and Practice of Computer Science. Špindlerův Mlýn, Czech Republic, January 26–31, 2013.

Frank D. Valencia is/has been a member of the program committees of the following conferences and workshops:

CONCUR 2013 . The 24th International Conference on Concurrency Theory. Buenos Aires, Argentina, 27-30 August 2013.

Konstantinos Chatzikokolakis is/has been a member of the program committees of the following conferences and workshops:

ICFEM 2014 : The 6th International Conference on Formal Engineering Methods.
PETS 2014 : The 14th Privacy Enhancing Technologies Symposium.
HotPETs 2014 : 7th Workshop on Hot Topics in Privacy Enhancing Technologies.
QAPL 2014 : 12th Workshop on Quantitative Aspects of Programming Languages.
ISPEC 2013 : 9th International Conference on Information Security Practice and Experience.
QAPL 2013 : 11th Workshop on Quantitative Aspects of Programming Languages.
HotPETs 2013 : 6th Workshop on Hot Topics in Privacy Enhancing Technologies.

Catuscia Palamidessi has been serving in the following committees:

Member of the Swedish Research Council Committee for Computer Science, 2013. The main duty of this committee is to evaluate and select the grant applications.
Member of the committee for the ACM SIGSAC 2014 Doctoral Dissertation Award for Outstanding PhD Thesis in Computer and Information Security.
Member of the committee for the Ackermann Award 2013 : The EACSL outstanding dissertation award for logic in Computer Science.
President of the selection committee for the EATCS Best Paper Award at the ETAPS conferences. Since 2006.
Member of the EAPLS PhD Award committee. Since 2010.

Frank D. Valencia, Luis Fernando Pino Duque, and Nicolás Bordenabe are the organizer of the Comète-Parsifal Seminar . This seminar takes place weekly at LIX, and it is meant as a forum where the members of Comète and Parsifal present their current works and exchange ideas.

Catuscia Palamidessi serves as:

Member of the Comité d'Orientation Scientifique et Technique, Groupe de travail Relation Internationales (COST-GTRI). Since November 2007.
Directrice adjointe du LIX, le Laboratoire d'Informatique de l'Ecole Polytechnique. Since April 2010.
Member of the Comité de These for Mathematics and Computer Science at the École Polytechnique. Since October 2007.
Reviewer for the projects proposal for the program PRIN, sponsored by the Italian MIUR (“Ministero dell'Istruzione, dell'Università e della Ricerca”). Since 2004.

Home | Next next